namespace CWARN_NOEFFECT_UCMP_GE {
	int foo(unsigned int a) {
		while (0 <= a)
			a--;
		return 0;
	}
}